Development of Functionality-Based Conformance Classes for ISO 10303 – Conformance Classes for Tolerancing Functionality

Functionality Classes and Evaluation Methodology for Deterministic Random Number Generators

Checking the Conformance of Java Classes Against Algebraic Specifications

We present and evaluate an approach for the run-time conformance checking of Java classes against property-driven algebraic specifications. Our proposal consists in determining, at run-time, whether the classes subject to analysis behave as required by the specification. The key idea is to reduce the conformance checking problem to the runtime monitoring of contract-annotated classes, a process...

A Formal Equivalence Classes Based Method for Security Policy Conformance Checking

Di erent security policy models have been developed andpublished in the past. Proven security policy models, if correctly im-plemented, guarantee the protection of data objects from unauthorizedaccess or usage or prevent an illegal information ow. To verify that asecurity policy model has been correctly implemented, it is importantto de ne and execute an exhaustive list of t...

What is a functional genetic polymorphism? Defining classes of functionality.

In the human genome there are at least 3.1 million single nucleotide polymorphisms (SNPs), or about 1 SNP per kilobase of sequence. There have been thousands of studies in mental health, including genome-wide association studies, attempting to associate mental illness or various behavioural, imaging or biochemical endophenotypes with genetic polymorphisms or sequence variants (following recomme...

A proposal for: Functionality classes and evaluation methodology for true (physical) random number generators